Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
241	Reductions for Synthesis Procedures? Swen Jacobs1 , Viktor Kuncak2 , and Philippe Suter2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-11-13 08:55:05 Automated theorem proving Logic programming Unification Function Expected value Integration by substitution First-order logic Μ operator Mathematics Mathematical logic Functions and mappings
242	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
243	Disjunctive Interpolants for Horn-Clause Verification Philipp R¨ummer1 , Hossein Hojjat2 , and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 14:09:22 Logic in computer science Logic programming Automated theorem proving Rules of inference Craig interpolation Interpolation Clause Resolution Horn clause Logic Mathematics Mathematical logic
244	COMPUTER ASSISTED PROOFS: COMING SOON TO A THEOREM NEAR YOU By Sara Billey University of Washington March 23, 2015 Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2015-03-23 00:24:54 Mathematical logic Proof theory Mathematical proof Theorem Four color theorem Pythagorean theorem Computer-assisted proof Proof Mathematics Logic Automated theorem proving
245	Proving Safety Properties of Rewrite Theories Camilo Rocha Jos´e Meseguer Department of Computer Science Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:32:16 Software engineering Functional languages Mathematical proof F-coalgebra ATS Computing Mathematics Mathematical logic Automated theorem proving
246	SAT 2009 competitive events booklet: preliminary version Organizers SAT competition: Daniel Le Berre, Olivier Roussel, Laurent Simon PB competition: Vasco Manquinho, Olivier Roussel Max-SAT competition: Josep Argelich, C Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2009-09-30 10:44:43 Logic in computer science Automated theorem proving Numerical software Electronic design automation Formal methods Boolean satisfiability problem 2-satisfiability Satz GRASP Theoretical computer science Mathematics Applied mathematics
247	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
248	A User’s Guide to Proving Programs Correct with the Sunrise Verification System version 7.3 Peter Vincent Homeier Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-11 11:40:50 Formal methods Logic in computer science Archive formats Automated theorem proving Gzip Formal verification HOL Tar Theorem Proving in Higher-Order Logics Theoretical computer science Software Applied mathematics
249	Research on Intelligent Automata (Proposal ESU 69-68; 9 June 1969) Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-07 17:14:21 Problem solving Psychology Robot Intelligence Automated theorem proving Education Theoretical computer science Automata theory Cellular automaton Educational psychology Cellular automata Neuropsychological assessment
250	Partial Evaluation in Prolog: Some Improvements about Cuts and Control M. Bugliesi F. Russo Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:17:54 Logic Functions and mappings Automated theorem proving Resolution Prolog Function Constraint logic programming Mathematics Mathematical logic Rules of inference

UPDATE